منابع مشابه
Algebras Versus Coalgebras
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and thus are accessible to classical algebraists and topologists as well as to logicians and computer scientists. Some of them have developed specialised parts of the theory and often reinvented constructions already known...
متن کاملCoalgebras, Hopf Algebras and Combinatorics
In loving memory of my mother " A mathematician is a machine for converting coffee into theorems. " —Alfréd Rényi " A comathematician, by categorical duality, is a machine for converting cotheorems into ffee. " —anonymous Preface Hopf algebras are a relatively new concept in algebra, first encountered by their namesake Heinz Hopf in 1941 in the field of algebraic topology. In the 1960s, study o...
متن کاملOn coalgebras over algebras
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor H as the completion of its initial algebra to the EilenbergMoore category Alg(M) of algebras associated to a Set-monad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of commuting pair of endofunctors (T,H) with respect to a monad M and show that under reasonable assumptions, t...
متن کاملHom-algebras and Hom-coalgebras
The aim of this paper is to develop the coalgebra counterpart of the HomAlgebra notions. After reviewing some key constructions and examples of quasi-deformations of Lie algebras involving twisted derivations and giving rise to the class of quasi-Lie algebras incorporating Hom-Lie algebras, we describe the notion and some properties of Homalgebras and provide examples of formal deformations of ...
متن کاملFinal Coalgebras from Corecursive Algebras
We give a technique to construct a final coalgebra in which each element is a set of formulas of modal logic. The technique works for both the finite and the countable powerset functors. Starting with an injectively structured, corecursive algebra, we coinductively obtain a suitable subalgebra called the “co-founded part”. We see – first with an example, and then in the general setting of modal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2012
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927872.2010.540286